TSTP Solution File: DAT148^1 by E-Darwin---1.5